首页
下载应用
提交文章
关于我们
🔥 热搜 🔥
1
百度
2
今日热点
3
微信公众平台
4
贴吧
5
opgg
6
dnf私服
7
百度贴吧
8
知乎
9
dnf公益服
10
百度傻逼
分类
社会
娱乐
国际
人权
科技
经济
其它
首页
下载应用
提交文章
关于我们
🔥
热搜
🔥
1
上海
2
习近平
3
新疆
4
鄂州父女瓜
5
乌鲁木齐
6
疫情
7
H工口小学生赛高
8
习明泽
9
芊川一笑图包
10
印尼排华
分类
社会
娱乐
国际
人权
科技
经济
其它
这样的洞庭湖决堤,实在让人同情不起来
李尚福、魏凤和双双被拿下,与美国一份报告是否有关?
抗洪靠嘴,堵漏靠沙?印度官员真是绝了!
有的人走了,却永远活着
圈内疯传某谣言
生成图片,分享到微信朋友圈
2023年1月30日
2023年2月21日
2023年2月22日
2023年2月22日
2023年2月23日
2023年2月23日
2023年2月24日
2023年2月24日
2023年2月25日
2023年2月25日
2023年2月26日
2023年2月26日
2023年2月27日
2023年2月27日
2023年2月28日
查看原文
其他
比特币史话·68 | 智能合约(3): 同性恋之死
Original
刘教链
刘教链
2023-01-30
收录于合集 #史话
102个
(苹果。图片来源于网络)
前情回顾:
比特币史话·63 | 赌徒的破产(4): 算力对决
比特币史话·64 | 赌徒的破产(5): 泊松分布
比特币史话·65 | 赌徒的破产(6): 算力威慑
比特币史话·66 | 智能合约(1): 脚本的由来
比特币史话·67 | 智能合约(2): 合约并不智能
正文:
中本聪本尊我们无缘得以面叙,但是文如其人,见字如面,我们仔细阅读比特币代码中的术语命名、概念用词,以及散落在各处的那两三年间中本聪发表的文字,会在心中升腾出一个十分强烈的感觉,就是他总是坚持选择使用最朴素、最简单的概念和词汇来构造对于最晦涩问题的解决方案。
他所解决的问题晦涩到什么程度?
即使在比特币已经发明十多年后的今天,依然有很多人坚持认为比特币没有解决任何问题,或者不清楚比特币究竟解决了什么问题,因而没有任何价值。
他所使用的概念简单到什么程度?
技术圈子内的很多人看完比特币的开源代码之后,有种一度流行的评价就是,中本聪用的都是些老掉牙的技术,没有什么高级的东西,言下之意就是这些高论者也一样能发明出比特币,中本聪并没什么了不起的。其实,大家都明白,能把肤浅的东西搞得高深莫测不是本事,能把深奥的东西用浅显直白却又直指本质的语言讲出来、讲清楚,讲的普通人都一听就懂,才是真厉害。
在对于比特币脚本的命名上,中本聪的这一特点就得到了显著的体现。在这篇发表于2010年6月17日的论坛帖子中,中本聪解释了为什么要给比特币增加脚本支持,令比特币交易具有可编程性。由于比特币这种系统具有抗篡改的特性,这导致一旦上线,很多核心设计就不容易改动了。恰如中本聪所说的那样,“比特币的本质是,一旦0.1版本发布,其核心设计就将在其整个生命周期中一成不变。因此,我想对其进行设计以支持我可能想到的每种可能的交易类型。”[1]
但是,“问题在于,无论是否用到,每种情况都需要特殊的支持代码和数据字段,并且一次只能覆盖一种特殊情况。特殊情况会有一个爆炸式的增长。”
怎么解决呢?中本聪接着写道,“解决方案就是
脚本
(script),它把问题
泛化
(generalize),这样交易各方就可以把他们的交易描述为一个
谓词
(predicate),以供节点网络
评估
(evaluate)。节点仅需要在评估发送者的条件是否满足的程度上理解这笔交易。”
中本聪这句话里所说的“谓词”和“评估”都是计算机术语,或者扩张一点讲,是
形式逻辑
术语。“评估”函数在计算机语言中一般会简写成“eval”,并且改个名字叫做“
求值
”,并由此引申出一些更为高级的特性词汇比如“惰性求值”(lazy evaluation),这在函数式编程语言或者具有函数式特性的编程语言中会比较常见。而所谓“谓词”,就是一个说明事物性质的断言。比如“
苹果可以吃
”这句话,是一个
命题
。其中“可以吃”就是一个
谓词
。对苹果求值,结果为真,那么苹果可以吃;对石头求值,结果为假,那么石头不能吃。
中本聪觉得“谓词”太过于晦涩,于是他选择了使用一个更简单的词“脚本”。“
脚本实际上就是一个谓词
。它只不过是一个等式,求值结果为真或假。谓词是一个冗长而陌生的词,因此我将其称为脚本。”中本聪在2010年6月17日的论坛帖子中如此说道。
“脚本”(script)[2],
在戏剧中
指表演者的对话和舞台指示,
在影视剧中
指演员的对话和语言,
在视频游戏中
指游戏的叙事和文本,
在漫画中
指叙事和人物对话,
在计算机中
指通过
解释器
进行
解释执行
的
计算机程序
。要仔细搞明白这个问题,我们需要再次乘坐时光机,回到100多年前的英国,去了解一下那个被英国政府以
同性恋
为罪名指控和定罪,强制执行
阉割
,并最终造成犯罪分子吃下
毒苹果
自杀身亡的悲剧故事。这个犯罪分子,名字叫做
艾伦·图灵
(Alan Turing, 1912-1954)。
【未完待续】(公众号:刘教链)
您可能也对以下帖子感兴趣
{{{title}}}
文章有问题?点此查看未经处理的缓存